認知科学と人工知能⑨ 論理的推論と論理プログラミング